ASC Report NoEntropy-stable and entropy-dissipative approximations of a fourth-order quantum diffusion equation M. Bukal, E. Emmrich, and A. Ju¨ngel

Source URL: www.math.tu-berlin.de

• Mathematical analysis
• Calculus
• Physics
• Information theory
• Partial differential equations
• Statistical theory
• Randomness
• Philosophy of thermal and statistical physics
• Entropy
• Finite element method
• NavierStokes equations
• Wave equation

Introduction Descriptive Set Theory in SOA Collapsing a model of ZFC Sharps # Collapsing a model of ZFC

Source URL: www.math.uni-bonn.de

• Mathematics
• Mathematical logic
• Logic
• Foundations of mathematics
• Z notation
• ZermeloFraenkel set theory
• Determinacy
• Set theory
• Second-order arithmetic
• Constructible universe
• Model theory
• Descriptive set theory

Foundational, Compositional (Co)datatypes for Higher-Order Logic Category Theory Applied to Theorem Proving Dmitriy Traytel

Source URL: www21.in.tum.de

A tetrachotomy for positive first-order logic without equality Florent Madelaine Barnaby Martin

Source URL: www.bedewell.com

• Mathematics
• Theoretical computer science
• Abstract algebra
• FO
• Finite model theory
• Sheaf
• Boolean satisfiability problem
• Uniform space

Advances on Matroid Secretary Problem: Free Order and Laminar Case Patrick Jaillet MIT -

Source URL: www.dim.uchile.cl

• Matroid theory
• Mathematics
• Matroid
• Uniform matroid
• Matroid partitioning

Social Pathologies as Second-Order Disorders Christopher F. Zurn Assistant Professor of Philosophy Department of Philosophy University of Kentucky Patterson Office Tower 1415

Source URL: faculty.www.umb.edu

• Philosophy
• Marxist theory
• Science
• Political philosophy
• Sociology
• Critical theory
• Axel Honneth
• Frankfurt School
• Ideology
• Pathology
• Reification
• Reflexivity

JMLR: Workshop and Conference Proceedings vol 40:1–51, 2015 Tensor principal component analysis via sum-of-squares proofs Sam Hopkins Jonathan Shi David Steurer

Source URL: jmlr.org

• Algebra
• Mathematics
• Linear algebra
• Multivariate statistics
• Matrix theory
• Tensors
• Real algebraic geometry
• Non-negative matrix factorization
• Matrix
• Higher-order singular value decomposition
• Eigenvalues and eigenvectors
• Principal component analysis

CSE 341, Winter 2013, Assignment 1 Due: Wednesday January 16, 11:00PM You will write 11 SML functions (and tests for them) related to calendar dates. In all problems, a “date” is an SML value of type int*int*int, whe

Source URL: courses.cs.washington.edu

• Software engineering
• Programming language theory
• Computer programming
• Procedural programming languages
• Functional languages
• C
• ALGOL 68
• INT
• ML
• Ordinal date
• Struct
• Higher-order function

The origin of our ideas of beauty, order, harmony, design Francis Hutcheson Copyright ©2010–2015 all rights reserved. Jonathan Bennett [Brackets] enclose editorial explanations. small ·dots· enclose material that ha

Source URL: www.earlymoderntexts.com

• Philosophy
• Infinity
• Philosophy of mathematics
• Empiricists
• Francis Hutcheson
• Ulster Scots people
• Natural and legal rights
• Theory of Forms
• Common sense
• Moral sense theory

Nsort: a Parallel Sorting Program for NUMA and SMP Machines Version 3.0 August 21, 2000 Chris Nyberg, Ordinal Technology Corp Charles Koester, Ordinal Technology Corp

Source URL: www.ordinal.com

• Sorting algorithms
• Computing
• Order theory
• Data processing
• Computer programming
• Extensible Storage Engine
• Data
• Mainframe sort merge
• Trie
• Internal sort
• B-tree
• External sorting